Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel
نویسندگان
چکیده
Un langage de programmation qui se veut utile doit être capable d’exprimer des programmes qui profitent des services et des mécanismes de communication supportés par le système d’exploitation. Nous examinons dans cet article le problème de la programmation d’applications Win32 dites “natives” sous le système d’exploitation Windows avec le langage fonctionnel Standard ML. Nous introduisons une infrastructure basée sur le langage d’interfaces IDL et sur une interface aux fonctions étrangères minimaliste pour explorer le support de l’API Win32 et de la technologie COM dans le contexte de Standard ML.
منابع مشابه
Un Caml Light Distribué
Résumé. Dans cet article nous proposons une extension du langage fonctionnel Caml Light appelé ACCL (pour A Concurrent Caml Light) dont le but est de combiner les paradigmes de programmation impérative, fonctionnelle, de concurrence et de distribution dans un seul langage de programmation. Pour l’extension concurrente de Caml Light nous proposons quelques primitives avec une sémantique très sim...
متن کاملReactiveML, un langage fonctionnel pour la programmation réactive
RÉSUMÉ. La programmation de systèmes réactifs tels que les simulateurs de systèmes dynamiques ou les jeux vidéo est une tâche difficile. Les techniques classiques pour programmer ces systèmes sont fondées sur l’utilisation de bibliothèques de threads ou de programmation événementielle. Nous introduisons ici le langage REACTIVEML comme une alternative à ces pratiques. Le langage est une extensio...
متن کاملReprésentation et manipulation de structures topologiques dans un langage fonctionnel
RÉSUMÉ. Le calcul spatial est un domaine de recherche qui vise à développer des formalismes, des langages et des architectures matérielles qui permettent d’appréhender la notion d’espace en informatique. Nous présentons MGS, un langage de programmation déclaratif dédié à la représentation et à la manipulation de structures spatiales arbitrairement complexes. Afin d’atteindre ce but, nous avons ...
متن کاملDynamic Slicing: a generic analysis based on a natural semantics format
Slicing analyses have been proposed for diierent programming languages. Rather than deening a new analysis from scratch for each programming language, we would like to specify such an analysis once for all, in a language-independent way, and then specialise it for diierent programming languages. In order to achieve this goal, we propose a notion of natural semantics format and a dynamic slicing...
متن کاملProgrammation par contraintes avec des fourmis
On explore dans cet article les possibilités d’intégration de la métaheuristique d’optimisation par colonies de fourmis (ACO) dans un langage de programmation par contraintes (PPC). L’idée est d’utiliser un langage de PPC pour décrire le problème à résoudre, ainsi que pour propager et vérifier les contraintes, et d’utiliser ACO pour guider la recherche de solutions. On illustre notre approche s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره cs.PL/0405082 شماره
صفحات -
تاریخ انتشار 2004